# A bunch of variables  -*- Mode: makefile -*-
export ARCHOS=x86_DARWIN
export HAS_MSVC=no
export CILHOME=/Users/gdhuang/Dropbox/STTT/ltlbmc/parser/contrib/cil-1.4.0
export DEFAULT_COMPILER=_GNUCC
export _GNUCC=1
